Reference for Bava Kamma 128:12

ולמ"ד תרוייהו בטוען טענת גנב דהאי אם המצא תמצא מפיק ליה לגנב עצמו מרשיע עצמו מנלן (שמות כב, ח) מאשר ירשיעון אלהים ולא המרשיע את עצמו

But if so why do I require the word 'sheep'? — It must therefore be taken as a case of an amplification preceding a diminution followed in its turn by another amplification,<span class="x" onmousemove="('comment',' Cf. supra p. 366. ');">¹⁰</span>

Jastrow